1. <A> programmer's introduction to computer systems: hardware and software
Author: John Graham, Roger Loader
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic digital computers,Computer software
Classification :
QA
،
76
.
5
،.
G6574
،
1989
2. An introduction to software physics:the meaning of computer
Author: KOLENCE,KENNETH W
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER SOFTWARE
Classification :
QA
76
.
6
.
K645
1985
3. Arithmetic optimization techniques for hardware and software design
Author: Kastner, Ryan.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer arithmetic,Design and construction ، Electronic digital computers,Development ، Computer software,، Mathematical optimization
Classification :
QA
76
.
9
.
C62
K37
2010
4. Arithmetic optimization techniques for hardware and software design
Author: Kastner, Ryan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer arithmetic,Design and construction ، Electronic digital computers,، Computer software -- Development,، Mathematical optimization
Classification :
QA
76
.
9
.
C62K37
5. Catalogue of artificial intelligence tools
Author: Bundy, Alan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
Classification :
Q
336
.
B86
1986
6. Catalogue of artificial intelligence tools
Author: Bundy, Alan.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
Classification :
Q
336
.
B86
1984
7. Computer-aided verification
Author:
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software-Verification,Electronic digital computers - Evaluation
Classification :
QA
76
.
76
.
E93C65
1992
8. Computer-aided verification
Author: edited by Robert Kurshan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Verification , Electronic digital computers - Evaluation
Classification :
QA
76
.
76
.
E93
C65
1993
9. Computer aided verification
Author: / Pierre Wolper (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
Classification :
QA76
.
76
.
C47
,
C38
1995
10. Computer aided verification
Author: / Rajeev Alur, Doron A. Peled (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses
Classification :
QA
76
.
76
.
E93C38
11. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
Author: G.V. Bochmann, D.K. Probst )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
663
12. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
Classification :
QA
76
.
76
.
E93
.
C38
1993
13. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author: G. v. Bochmann, D.K. Probst, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
Classification :
QA
76
.
76
.
V47
C38
1993
14. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
Author: K.G. Larsen, A. Skou, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
575
15. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
Author: E. Allen Emerson, A. Prasad Sistla )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1855
16. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Author: Ed Brinksma, Kim Guldstrand Larsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2404
17. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
Author: Costas Courcoubetis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
697
18. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Author: Orna Grumberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1254
19. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
Author: David L. Dill, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
818
20. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
Author: Nicolas Halbwaches, Doron Peled )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1633
